Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: D. Miller, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 12 hours, M2, Master Parisien de Recherche en Informatique, France.

• Licence: S. Graham-Lengrand, “INF412: Fondements de l'Informatique: Logique, Modèles, Calcul”, 32 hours eq. TD, L3, École Polytechnique, France.

• Master: S. Graham-Lengrand, “INF551: Computational Logic”, 45 hours eq. TD, M1, École Polytechnique, France.

• Master: S. Graham-Lengrand, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 6 hours, M2, Master Parisien de Recherche en Informatique, France.

• Undergraduate: K. Chaudhuri, R. Blanco, M. Volpe, G. Reis, T. Libal all taught or tutored exercises for first and second year undergrad courses, mostly at École Polytechnique.

Supervision

• PhD in progress: Sonia Marin, 1 Nov 2014, supervised by L. Straßburger and D. Miller

• PhD in progress: Roberto Blanco, Ulysse Gérard, and Quentin Heath, supervised by D. Miller

• PhD in progress: François Thiré (since 1st October 2016), supervised by S. Graham-Lengrand (joint with G. Dowek)

Juries

• Miller was a reporter for the PhD juries of Raphaël Cauderlier (CNAM, 10 October 2016) and Gabriel Scherer (Université Paris-Diderot, 30 March 2016).

• Graham-Lengrand was a reporter for the PhD juries of Pierre Halmagrand (CNAM, 10 December 2016).